/*-------------------------------------------------------------------------
   Copyright (C) 2011 One Laptop per Child
 ------------------------------------------------------------------------- */

void every_process(void);
void stack_check_init(void);
void stack_check(void);
void timed_host_wakeup_cmd_enable(unsigned char val);
void timed_host_wakeup_cmd_autorepeat(unsigned char val);
void timed_host_wakeup_cmd_value(unsigned long val);
unsigned char timed_host_wakeup_active(void);
